Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur l'OCR

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Communauté de Madrid21
R. Pe A Mari1
Communauté de Madrid Sauf R. Pe A Mari" 20
R. Pe A Mari Sauf Communauté de Madrid" 0
Communauté de Madrid Et R. Pe A Mari 1
Communauté de Madrid Ou R. Pe A Mari 21
Corpus7533
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
003051 M. Alonso [Espagne] ; R. Pe A Mari [Espagne]Using state variables for the specification and verification of TCSP processes
Wicri

This area was generated with Dilib version V0.6.32.
Data generation: Sat Nov 11 16:53:45 2017. Site generation: Mon Mar 11 23:15:16 2024